<?php

$page = 'Developers';

include_once 'header.php';

?>
		
		<div id="portal">
			<a class="pic940" style="background-image: url(/img/documentation_image_link.jpg);" href="yuidocs/index.html">Documentation</a>
			<a class="pic465 left" style="background-image: url(/img/gCode_image_link.jpg);" href="http://code.google.com/p/proveit-js/">Google Code</a>
			<a class="pic465 right" style="background-image: url(/img/wiki_image_link.jpg);" href="http://code.google.com/p/proveit-js/w/list">Wiki</a>
			<br />
		</div>

<?php include_once 'footer.php'; ?>